LDADD=$(top_builddir)/src/libdfa/libdfa.la $(top_builddir)/src/stasis/libstasis.la  $(top_builddir)/src/libdfa/librw.la -lconfuse
noinst_PROGRAMS=bit_arithmetic binary_search soundness
soundness_SOURCES = soundness.c
AM_CFLAGS=${GLOBAL_CFLAGS}
